翻訳と辞書 Words near each other ・ Richard Young (cinematographer) ・ Richard Young (footballer) ・ Richard Young (MP for Bewdley) ・ Richard Young (New York congressman) ・ Richard Young (photographer) ・ Richard Younge ・ Richard Younger-Ross ・ Richard Youngs ・ Richard Yuen ・ Richard Yuengling, Jr. ・ Richard Yuengling, Sr. ・ Richard Yung ・ Richard Yuricich ・ Richard Z. Kruspe ・ Richard Z. Sirois ・ Richard Zach ・ Richard Zachariah Mudge ・ Richard Zajac ・ Richard Zambrano ・ Richard Zampella ・ Richard Zander ・ Richard Zann ・ Richard Zare ・ Richard Zarou ・ Richard Zeckhauser ・ Richard Zeckwer ・ Richard Zedník ・ Richard Zeeman ・ Richard Zemlak ・ Richard Zenith Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Richard Zach ： ウィキペディア英語版 Richard Zach Richard Zach is a Canadian logician, philosopher of mathematics, and historian of logic and analytic philosophy. He is currently Professor of Philosophy at the University of Calgary. ==Research== Zach's research interests include the development of formal logic and historical figures (Hilbert, Gödel, and Carnap) associated with this development. In the philosophy of mathematics Zach has worked on Hilbert's program and the philosophical relevance of proof theory. In mathematical logic, he has made contributions to proof theory (epsilon calculus, proof complexity) and to modal and many-valued logic, especially Gödel logic. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Richard Zach」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.